Tailor-made Virtualization Monitor design for CPU virtualization on LEON processors

In recent decades, mixed-criticality systems have been widely adopted to reduce the complexity and development times of real-time critical applications. these systems, applications run on a separation kernel hypervisor, software element that controls execution different operating providing virtualized environment ensuring necessary spatial temporal isolation. The guest code can unmodified unaware hypervisor or be explicitly modified tight coupling with hypervisor. former is known as full virtualization, while latter para-virtualization. Full virtualization offers better compatibility flexibility than para-virtualization, at cost performance penalty. LEON processor family implements SPARC V8 architecture whose use widespread in field space systems. To best our knowledge, all hypervisors designed support for employ which hinders adaptation This paper presents design Virtualization Monitor allows LEON-based without needing modify their source code. It standalone component within incorporates set techniques such static binary rewriting, automatic generation, system profiles. validate proposed solution, tests benchmarks implemented three systems: RTEMS, FreeRTOS, Zephyr, analyzing overhead introduced certain situations characteristic Finally, same AIR, one uses results obtained show us obtain similar those using para-virtualization need